Introduction to the Special Issue on Practical Aspects of High-Level Parallel Programming

SCALABLE COMPUTING Practice and Experience Special Issue: Practical Aspects of High-Level Parallel Programming

The PMLS parallelizing compiler for Standard ML is based upon the automatic instantiation of algorithmic skeletons at sites of higher order function (HOF) use. Rather than mechanically replacing HOFs with skeletons, which in general leads to poor parallel performance, PMLS seeks to predict run-time parallel behaviour to optimise skeleton use. Static extraction of analytic cost models from progr...

Practical Aspects of High-Level Parallel Programming

Introduction to Special Issue on Natural Language and Logic Programming

Special issue on practical aspects of automated reasoning

The Suggested Upper Merged Ontology (SUMO) has provided the TPTP problem library with problems that have large numbers of axioms, of which typically only a few are needed to prove any given conjecture. The LTB division of the CADE ATP System Competition tests the performance of ATP systems on these types of problems. The SUMO problems were used in the SMO category of the LTB division in 2008. T...

Answer Set Programming: An Introduction to the Special Issue

FALL 2016 5 What is answer set programming, or ASP for short? Why is it drawing attention and continually gaining in acceptance as a computational problem-solving approach? These are the two key questions the seven articles in this special issue aim to answer. In a nutshell, ASP is a declarative problem solving paradigm — declarative, as all it requires users to do is to describe what the probl...